theme: Make menu ornament slightly wider

The existing width works well enough for a narrow character like the dot,
but doesn't leave any whitespace for a wider one like the checkmark.

https://bugzilla.gnome.org/show_bug.cgi?id=741366

diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 2274303ca157547056a446e813d1891fbd99bc27..a5b60ccd7516bf34287bed22c108667eeb35e5d1 100644 (file)
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -411,7 +411,7 @@ StScrollBar {
 
 .popup-menu-ornament {
   text-align: right;
-  width: 1em; }
+  width: 1.2em; }
 
 .popup-menu-boxpointer,
 .candidate-popup-boxpointer {

diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index f0a0d1d3537912f41fef5aaa18b36cbd80b9b64f..23e0bc1e71d0cd84d580916638ec5755f2f2d4e1 160000 (submodule)
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit f0a0d1d3537912f41fef5aaa18b36cbd80b9b64f
+Subproject commit 23e0bc1e71d0cd84d580916638ec5755f2f2d4e1

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 8189d1d4bd9d7b836e72d09bbf1816a7831be6b0..1630fd6e7061e986ecfd779c2e080a230bad59aa 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -411,7 +411,7 @@ StScrollBar {
 
 .popup-menu-ornament {
   text-align: right;
-  width: 1em; }
+  width: 1.2em; }
 
 .popup-menu-boxpointer,
 .candidate-popup-boxpointer {